E ::= F E1
F ::= Num | Id
E1 ::= E1a | Empty
E1a ::= "+" E